OUTPUT DinhThoi_SJF(INPUT input);
